1. A short introduction to intuitionistic logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Intuitionistic mathematics. ; Mathematiques intuitionnistes. ; Intuitionistic mathematics ; fast ; (OCoLC)fst00977860 ;